CP-SynC: Modelado de restricciones multiagente zero-shot en MiniZinc con verificadores sintetizados
CP-SynC: Método zero-shot para restricciones multiagente con verificadores sintetizados en MiniZinc. Optimiza problemas complejos de forma eficiente.
#verificadores sintetizados